N. Guiochet: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Using SAE J3061 for Automotive Security Requirement Engineering

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 581 KB

english, 2016

2

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || ASIL Tailoring on Functional Safety Requirements

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 374 KB

english, 2016

3

Safety-critical advanced robots: A survey

Guiochet, Jérémie, Machin, Mathilde, Waeselynck, Hélène

Journal:

Robotics and Autonomous Systems

Year:

2017

Language:

english

File:

PDF, 448 KB

english, 2017

4

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

5

Safety Case Confidence Propagation Based on Dempster-Shafer theory

Wang, Rui, Guiochet, Jérémie, Motet, Gilles, Schön, Walter

Journal:

International Journal of Approximate Reasoning

Year:

2019

Language:

english

File:

PDF, 1.44 MB

english, 2019

6

Hazard analysis of human–robot interactions with HAZOP–UML

Guiochet, Jérémie

Journal:

Year:

2016

Language:

english

File:

PDF, 1.78 MB

english, 2016

7

[IEEE 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC) - Niigata, Japan (2012.11.18-2012.11.19)] 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing - Safety Trigger Conditions for Critical Autonomous Systems

Mekki-Mokhtar, Amina, Blanquart, Jean-Paul, Guiochet, Jeremie, Powell, David, Roy, Matthieu

Year:

2012

Language:

english

File:

PDF, 728 KB

english, 2012

8

Parcours de femmes 2001

D. Serin, J. M. Dilhuydy, P. Romestaing, N. Guiochet, J. Gledhill, P. Bret, J. Savary, A. Flinois

Journal:

Year:

2004

File:

PDF, 184 KB

2004

9

[ACM Press the 2nd International Workshop - London, United Kingdom (2010.04.15-2010.04.16)] Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 - A UML-based method for risk analysis of human-robot interactions

Martin-Guillerez, Damien, Guiochet, Jérémie, Powell, David, Zanon, Christophe

Year:

2010

Language:

english

File:

PDF, 3.61 MB

english, 2010

10

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || Effective Static and Dynamic Fault Tree Analysis

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 356 KB

english, 2016

11

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 8153 || Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study

Bitsch, Friedemann, Guiochet, Jérémie, Kaâniche, Mohamed

Year:

2013

Language:

english

File:

PDF, 312 KB

english, 2013

12

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 8153 ||

Bitsch, Friedemann, Guiochet, Jérémie, Kaâniche, Mohamed

Year:

2013

Language:

english

File:

PDF, 14.25 MB

english, 2013

13

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || Exploiting Trust in Deterministic Builds

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 658 KB

english, 2016

14

Phase II study of pirarubicin (THP) in patients with cervical, endometrial and ovarian cancer: Study of the clinical screening group of the European Organization for Research and Treatment of Cancer (EORTC)

Chauvergne, J., Fumoleau, P., Cappelaere, P., Metz, R., Armand, J.P., Chevallier, B., Kerbrat, P., de Forni, M., Lhommé, C., Roche, H., Chollet, Ph., Goupil, A., Guiochet, N., Herait, P., Lentz, M.A.

Journal:

European Journal of Cancer

Year:

1993

Language:

english

File:

PDF, 683 KB

english, 1993

15

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || FISSC: A Fault Injection and Simulation Secure Collection

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 811 KB

english, 2016

16

[IEEE 2013 IEEE 13th International Conference on Rehabilitation Robotics (ICORR 2013) - Seattle, WA (2013.6.24-2013.6.26)] 2013 IEEE 13th International Conference on Rehabilitation Robotics (ICORR) - Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot

Guiochet, Jeremie, Quynh Anh Do Hoang,, Kaaniche, Mohamed, Powell, David

Year:

2013

Language:

english

File:

PDF, 1.69 MB

english, 2013

17

[IEEE 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems - Las Vegas, NV, USA (27-31 Oct. 2003)] Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453) - Integration of UML in human factors analysis for safety of a medical robot for tele-echography

Guiochet, J., Tondu, B., Baron, C.

Year:

2003

Language:

english

File:

PDF, 407 KB

english, 2003

18

A specific approach for elderly patients with head and neck cancer

Ortholan, Cécile, Benezery, Karen, Dassonville, Olivier, Poissonnet, Gilles, Bozec, Alexandre, Guiochet, Nicole, Belkacemi, Yazid

Journal:

Anti-Cancer Drugs

Year:

2011

Language:

english

File:

PDF, 182 KB

english, 2011

19

Phase II trial of pirarubicin in epidermoid carcinoma of the head and neck

Cappelaere, P., Guiochet, N., Chauvergne, J., Bastit, P., Armand, J.P., Lentz, M.A., van Glabbeke, M., Herait, P., Fumoleau, P.

Journal:

European Journal of Cancer

Year:

1992

Language:

english

File:

PDF, 168 KB

english, 1992

20

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 ||

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 36.76 MB

english, 2016

21

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - Model-Checking and Game theory for Synthesis of Safety Rules

Machin, Mathilde, Dufosse, Fanny, Guiochet, Jeremie, Powell, David, Roy, Matthieu, Waeselynck, Helene

Year:

2015

Language:

english

File:

PDF, 840 KB

english, 2015

22

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.34 MB

english, 2016

23

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.09 MB

english, 2016

24

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || Catalogue of System and Software Properties

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 2.20 MB

english, 2016

25

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Towards Safety Case Integration with Hazard Analysis for Medical Devices

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 2.11 MB

english, 2016

26

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 8153 || A Formal Basis for Safety Case Patterns

Bitsch, Friedemann, Guiochet, Jérémie, Kaâniche, Mohamed

Year:

2013

Language:

english

File:

PDF, 582 KB

english, 2013

27

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.70 MB

english, 2016

28

[IEEE 2017 First IEEE International Conference on Robotic Computing (IRC) - Taichung, Taiwan (2017.4.10-2017.4.12)] 2017 First IEEE International Conference on Robotic Computing (IRC) - Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot

Masson, Lola, Guiochet, Jeremie, Waeselynck, Helene, Desfosses, Augustin, Laval, Marc

Year:

2017

Language:

english

File:

PDF, 971 KB

english, 2017

29

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 8153 || Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS

Bitsch, Friedemann, Guiochet, Jérémie, Kaâniche, Mohamed

Year:

2013

Language:

english

File:

PDF, 396 KB

english, 2013

30

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 149 KB

english, 2016

31

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 || Formal Analysis of Security Properties on the OPC-UA SCADA Protocol

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 383 KB

english, 2016

32

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study

Sotiropoulos, Thierry, Waeselynck, Helene, Guiochet, Jeremie, Ingrand, Felix

Year:

2017

Language:

english

File:

PDF, 924 KB

english, 2017

33

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Dynamic Safety Contracts for Functional Cooperation of Automotive Systems

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.72 MB

english, 2016

34

Two partial remissions induced by an LHRH analogue in two postmenopausal women with metastatic breast cancer

L. Schwartz, N. Guiochet, R. Keiling

Journal:

Year:

1988

Language:

english

File:

PDF, 245 KB

english, 1988

35

Projet MIRAS : robot d’assistance à la déambulation avec interaction multimodale

V. Pasqui, L. Saint-Bauzel, C. Zong, X. Clady, P. Decq, F. Piette, V. Michel-Pellegrino, A. El Helou, M. Carré, A. Durand, Q.A.D. Hoang, J. Guiochet, P. Rumeau, V. Dupourque, J. Caquas

Journal:

Year:

2012

Language:

french

File:

PDF, 1.21 MB

french, 2012

36

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 8153 || Characterization of Failure Effects on AADL Models

Bitsch, Friedemann, Guiochet, Jérémie, Kaâniche, Mohamed

Year:

2013

Language:

english

File:

PDF, 220 KB

english, 2013

37

Phase II Trials of Tetrahydropyranyl-Adriamycin (Pirarubicin) on Renal and Colon Carcinoma, Melanoma, and Soft Tissue Sarcoma

Roché, H., Guiochet, N., Kerbrat, P., Rebattu, P., Fargeot, P., Cattan, A., Armand, J. P., Keiling, R., Lentz, M. A., Glabeke, M. Van, Herait, P., Fumoleau, P.

Journal:

American Journal of Clinical Oncology

Year:

1993

File:

PDF, 202 KB

1993

38

Phase II trial of iproplatin in advanced squamous cell carcinoma of the head and neck, oesophagus and lung

Cappelaere, P., Guiochet, N., Bastit, Ph., Favre, R., Vanderburg, M., Goupil, A., Chauvergne, J., Armand, J.P., Thomas, D., Van Glabbeke, M.

Journal:

European Journal of Cancer

Year:

1993

Language:

english

File:

PDF, 99 KB

english, 1993

39

[IEEE 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems - Beijing (2006.10.9-2006.10.15)] 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems - Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges

Alami, R., Albu-Schaeffer, A., Bicchi, A., Bischoff, R., Chatila, R., De Luca, A., De Santis, A., Giralt, G., Guiochet, J., Hirzinger, G., Ingrand, F., Lippiello, V., Mattone, R., Powell, D., Sen, S.,

Year:

2006

Language:

english

File:

PDF, 1.84 MB

english, 2006

40

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9922 ||

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 30.25 MB

english, 2016

41

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || The Agile Safety Case

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.05 MB

english, 2016

42

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 484 KB

english, 2016

43

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.83 MB

english, 2016

44

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 642 KB

english, 2016

45

[IEEE 2016 12th European Dependable Computing Conference (EDCC) - Gothenburg (2016.9.5-2016.9.9)] 2016 12th European Dependable Computing Conference (EDCC) - Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level

Sotiropoulos, Thierry, Guiochet, Jeremie, Ingrand, Felix, Waeselynck, Helene

Year:

2016

Language:

english

File:

PDF, 353 KB

english, 2016

46

SMOF: A Safety Monitoring Framework for Autonomous Systems

Machin, Mathilde, Guiochet, Jeremie, Waeselynck, Helene, Blanquart, Jean-Paul, Roy, Matthieu, Masson, Lola

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2016

Language:

english

File:

PDF, 2.03 MB

english, 2016

47

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.55 MB

english, 2016

48

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Fault Tolerant Planning for Critical Robots

Lussier, Benjamin, Gallien, Matthieu, Guiochet, Jeremie, Ingrand, Felix, Killijian, Marc-Olivier, Powell, David

Year:

2007

Language:

english

File:

PDF, 359 KB

english, 2007

49

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || The Assurance Timeline: Building Assurance Cases for Synthetic Biology

Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2016

Language:

english

File:

PDF, 1.93 MB

english, 2016

50

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - UML-Based Modeling of Robustness Testing

Moraes, Regina, Waeselynck, Helene, Guiochet, Jeremie

Year:

2014

Language:

english

File:

PDF, 724 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски